Binary lambda calculus - PDFSEARCH.IO - Document Search Engine

Binary lambda calculus
Results: 23

#	Item
11	g01 – Simple Calculations on Statistical Data g01gec NAG C Library Function Document nag_prob_non_central_beta_dist (g01gec) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Poisson processes Noncentral beta distribution Poisson distribution Beta distribution Lambda calculus Binary lambda calculus Noncentral F-distribution Statistics Mathematical analysis Probability and statistics
12	Lambda Dependency-Based Compositional Semantics Percy Liang arXiv:1309.4408v2 [cs.AI] 18 SepSeptember 19, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-18 20:24:07 Mathematical logic Lambda Function Expression Combinatory logic Binary lambda calculus Lambda calculus Mathematics Theoretical computer science
13	Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-04-26 17:10:34 Computing Lambda calculus Directed acyclic graph Tree B-tree Free variables and bound variables T-tree Combinatory logic R-tree Graph theory Mathematics Binary trees
14	Bottom-up β-reduction: uplinks and λ-DAGs (journal version) June 29, 2010 Olin Shivers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-08 22:05:21 Mathematics Lambda calculus Directed acyclic graph B-tree Tree traversal Tree Free variables and bound variables T-tree Linked list Graph theory Binary trees Computing
15	American Computer Science LeagueClassroom Division Questions 1 -5 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:12 Functions and mappings Computability theory Theory of computation Binary arithmetic Octal Function Primitive recursive function Lambda calculus Mathematics Mathematical logic Theoretical computer science
16	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
17	Alonzo Church inventor of lambda calculus 9 Lambda Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Mathematics Anonymous function Function Binary lambda calculus Church encoding Lambda calculus Software engineering Declarative programming
18	Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-06 00:24:10 Applied mathematics Iota and Jot Combinatory logic Beta normal form Evaluation strategy Jot Binary lambda calculus Reduction strategy Lambda Lambda calculus Theoretical computer science Mathematical logic
19	Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2014-10-13 11:19:47 Partial equivalence relation Function Equivalence relation Finitary relation Lambda calculus Binary relation Total order Implementation of mathematics in set theory Preorder Mathematics Mathematical logic Order theory
20	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering